Intuitionistic PUC-Logic for Constructive Counterfactuals
نویسندگان
چکیده
We present the intuitionistic version of PUC-Logic. After that, we present a constructive approach to Lewis’ counterfactual abstraction to show that it does not require the classical absurd rule.
منابع مشابه
Dual Intuitionistic
We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson’s logic takes both truth and falsity as constructive notions, in the falsificati...
متن کاملIntuitionistic Type Theory
Intuitionistic Type Theory (also Constructive Type Theory or Martin-Löf Type Theory) is a formal logical system and philosophical foundation for constructive mathematics (link). It is a fullscale system which aims to play a similar role for constructive mathematics as Zermelo-Fraenkel Set Theory (link) does for classical mathematics. It is based on the propositions-as-types principle and clarif...
متن کاملForcing in proof theory
Paul Cohen’s method of forcing, together with Saul Kripke’s related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic. Here, I argue that forcing also has a place in traditional Hilbert-style proof theory, where the goal is to formalize portions of ordinary ...
متن کاملConsistent Positive and Linear Positive Quasi-antiorders
This investigation, in Bishop’s constructive mathematics in sense of well-known books [2], [3], [6] and Romano’s papers [9]-[15], is continuation of forthcoming Crvenkovic, Mitrovic and Romano’s paper [4], and the Romano’s paper [16]. Bishop’s constructive mathematics is developed on Constructive logic (or Intuitionistic logic ([19])) logic without the Law of Excluded Middle P ∨¬¬P . Let us not...
متن کاملOn Skolemization in constructive theories
In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting of constructive theories. A constructive extension of intuitionistic predicate logic that captures the notions of preorder and existence is introduced and the method, orderization, is shown to be sound and complete wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1405.5279 شماره
صفحات -
تاریخ انتشار 2014